mathematical logic

  1. simgesel usbilim/ mantık, matematiksel mantık, kavramları sözcüklerle değil, simgelerle göstererek işlem yapan usbilim/ mantık.
uzbilimsel usbilim.